The .preprocess() method didn't work, because it didn't add the input file

to the command-line arguments.  Fix this by adding the source filename.