Various fixes bundled together. May fix compilation issues on Linux.
Install NDK 3.9 documentation into doc directory.