There have got to be some decent libraries for this, but it seems like almost every linux midi app has its own code for reading and writing midi files. What's up with that? What do you guys recommend?