checked in travis config