=== modified file 'bin/fileset.awk'
--- old/bin/fileset.awk	2022-07-17 15:29:57 +0000
+++ new/bin/fileset.awk	2019-02-13 12:07:30 +0000
@@ -21,7 +21,7 @@
 }
 
 function quoted(str) {
-	if(str ~ "^[a-zA-Z0-9_./]+$")
+	if(str ~ /^[a-zA-Z0-9_./]+$/)
 		return str
 	gsub(/'/, "'\\''", str)
 	return "'" str "'"