=== modified file 'bin/aat.awk'
--- bin/aat.awk	2014-08-13 11:49:58 +0000
+++ bin/aat.awk	2014-08-13 11:28:19 +0000
@@ -156,9 +156,6 @@
 	else if(name == "filename"){
 		tok_type=T_AWK
 		args = filename
-		while(match(args, /[^/]+\/..\//) != 0) {
-			gsub(/[^/]+\/..\//, "", args)
-		}
 		gsub(/["\\]/, "\\&", args)
 		token("filename = \"" args "\"\n")
 	}