Fix a mistake in the Build.properties