Travis needs stdint.h included