Make sure build.properties is rebuilt whenever git version changes