Patch from acolomb to fix installation of midi_maps (#4430).