cmockery.h was trying to redefine uintptr_t, but this is already
defined in stdint.h.