Use different svn repositories for Linux and Windows.