Update pigbugs_checks.xml