android-ndk: prefer 64-bit version