Fix include for travis