added definition of jenkins-bin-1.532