mkvtoolnix: fix for wxgtk extra files in /usr/include