added portmidi in the specs