Travis-CI: Tries to address a missing header issue