Removing gt-mif (which seems georchestra-specific and unused here)