More tweaks to the jenkins build script