Update to capstone 3.0, KO