No, travis needs stdint.h in multiple files