py-pretty-midi is a stub port
