Bugfix: PortMidi ports didn't call close() in __exit__().