fixup! fix travis config