Symbol: DSO_convert_filename