Revert "Delete build.properties"

This reverts commit d1f734c616c4d18abc97c860657bfd58451fd30e.