rpmlint-mini package for Maui