Fix encoding in android/project/build.properties