Override capstone's memory API to fix reentrancy issues
Fix the Android `check-gdb` target