rebuild with NDK r9b and gmp-5.1.3 on Ubuntu 13.04