Small changes to shell script to create the property file BuildTimeStrings.properties.