COMP: External tools: Turn https to http in url to avoid certificate errors with svn