Fix Android build.