whitespace
Make it possible to specify a different input file.