(Android NDK) Some ndk-build fixes (not enough though - use
NDK standalone toolchain for now - ndk-build is a mess)