return the full MIDI map search path from system_midi_map_search_path(), to fix #5379