fixes bug 1043681 by putting the build number into the file JENKINS_BUILD_NUMBER