Hugs requires a separate directory for the output files from the directory
containing the preprocessed files.  The --scratchdir option now sets the
former (and thus has an effect only for Hugs).

This repairs the Hugs build.