cosmetic fix for capstone.h