can't use double quotes in travis-tool.sh.cmd, otherwise everything is passed as single argument...