Mask dev-util/jenkins-bin-1.522 and dev-util/jenkins-bin-1.523