--- bin/rivet-build.in.orig	2020-04-30 11:11:53.820773774 +0200
+++ bin/rivet-build.in	2020-04-30 11:12:32.766024110 +0200
@@ -249,7 +249,7 @@
 		srcnames[$idx]="$tmpfile"
 	fi
 done
-objnames=("${srcnames[@]/.cc/.o}")
+objnames=("${srcnames[@]/%.cc/.o}")
 
 if [[ -z "$debug" ]]; then silencer="@"; fi
 tmpmakefile=$(mktemp Makefile.tmp.XXXXXXXXXX)