x86.h referenced types defined in stdint.h (e.g. uint16_t, etc.), but didn't actually include stdint.h