rebuild with NDK r8e and gmp-5.1.2 on Ubuntu 13.04