added x86 support (call NDK_ABI=x86 ./configure_make_everything.sh to generate x86 binaries)