build against an older stable version of Jenkins