Fix get_real_filename