Catch up with mintupdate on checkWarnings.py