fix for stdint.h