maui-mic-plugins package for Mer