svn.win.tue.nl is not properly configured.