=== modified file 'bin/aat.awk'
--- old/bin/aat.awk	2022-07-17 22:37:33 +0000
+++ new/bin/aat.awk	2017-01-31 20:59:44 +0000
@@ -158,8 +158,8 @@
 	else if(name == "filename"){
 		tok_type=T_AWK
 		args = filename
-		while(match(args, "[^/]+/../") != 0) {
-			gsub("[^/]+/../", "", args)
+		while(match(args, /[^/]+\/..\//) != 0) {
+			gsub(/[^/]+\/..\//, "", args)
 		}
 		gsub(/["\\]/, "\\&", args)
 		token("filename = \"" args "\"\n")