MIKMIDI 1.7.1 is still the default there (https://cocoapods.org/pods/MIKMIDI), despite 1.7.2 being the latest version. See comments in https://github.com/mixedinkey-opensource/MIKMIDI/issues/342.