Adds a build number to Jenkins builds.
Should fix shaded file name.