fix src/gen-submission.pl to pass the official format checking