add dump_file parameter