Small version # tweak to the jenkins script