fix portmidi mutex issue