tweak travis ci file