switch to android-ndk-r9
switch to GCC 4.8
generate debugging symbols
rebuild with NDK r9 and gmp-5.1.2 on Ubuntu 13.04