added an "--input-file" command line option