Fixes #8; switch input/output file names to correct versions.