Use latest capstone-v3