Travis: improve script