more adjustment of travis config