ensure libmidi is public, to use in 3rd party agents