jenkins profile uses builds server instead of builds2