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.
1 file changed