Rebuild with NDK r10b and gmp-6.0.0a on Ubuntu 14.04