Attempt at android build fix on the build server (old ndk?)