fixed up jenkins/rndev config