Is this something we should be setting in a CI job rather than build.properties?