Test file patched, so it does not report the filename bug