add missing include for travis