Input and output filenames now given as arguments