Update portmidi.py