(normalize_filename): New function.