[linux-audio-user] how to cut a midi file?