tweak travis config file