Fix Android build.

No idea how it built before (?!)