minor fixes to build.properties
3 files changed