Update check_hotfixes.py