Fix get_file()