warning squashed in convert_uri_to_file_name()