Found another reference to get_proper_case_filename