jenkins.py: CONFIG not needed
jenkins.py: ignore broken packages