Strip non-ascii characters from build.properties

It looks like the file got some weird characters in it, which make git think it's a binary file.

`file -bi build.properties` result before this change: text/plain; charset=binary
Result after the change: text/plain; charset=us-ascii

The diff says "Binary file not shown" (because the previous file was binary), but additional changes afterward will diff properly.