jenkins.py: ignore broken packages