Move dump_file where it belongs