another Main.parse() cleanup to make sure a unicode error really comes from the parser, not from the filename decoding