renames input files for flex/bison