Updated build script to properly change build properties file when building under jenkins.