Made libmidi export its headers