let script' = sprintf "%s%s%s%s" matches.(1) statement' matches.(3) trailer in
let md5 = Digest.to_hex (Digest.string script') in
HExtlib.output_file
- ~filename:(sprintf "%s.rottened.%s.ma" (Filename.chop_extension fname) md5)
+ ~filename:(sprintf "%s.%s.rottened" fname md5)
~text:script'
let grep () =