midi_event.h: Wrong target name