correctly set travis config