Get rid of IntTypes.h