added HAVE_ANDROID_OS to let it work
revert 64bits, let forget it right now