new file for libmidi++ export control