Fix Android build. Add TODO.