rename $output_file $input_file;