Debugging an Android NDK application with NDK GDB