changed configurations of travis ci.