fixed a couple of things in travis config