diff --git a/dist/makedist.sh b/dist/makedist.sh
index f0460f5..8b8298a 100755
--- a/dist/makedist.sh
+++ b/dist/makedist.sh
@@ -28,9 +28,9 @@ TMPDIR=/tmp/scytherdist
 WORKNAME=scyther
 
 #	Repository
-PROTROOT=https://svn.win.tue.nl/repos/ecss/trunk/protocols/spdl
+PROTROOT=https://svn.win.tue.nl/repos/scyther/trunk/spdl
 SVNROOT=https://svn.win.tue.nl/repos/scyther/trunk
-DOCROOT=https://svn.win.tue.nl/repos/ecss/trunk/papers/scythermanual
+DOCROOT=https://svn.win.tue.nl/repos/scyther/trunk/manual
 
 MANUAL=scyther-manual.pdf
 
diff --git a/gui/Bin/scyther-linux b/gui/Bin/scyther-linux
index 4813a45..543fdeb 100755
Binary files a/gui/Bin/scyther-linux and b/gui/Bin/scyther-linux differ
diff --git a/gui/Bin/scyther-w32.exe b/gui/Bin/scyther-w32.exe
index 0cbffbe..130063a 100755
Binary files a/gui/Bin/scyther-w32.exe and b/gui/Bin/scyther-w32.exe differ
diff --git a/src/release.h b/src/release.h
index 48a0de8..1f946dc 100644
--- a/src/release.h
+++ b/src/release.h
@@ -1 +1 @@
-#define RELEASEVERSION "1.0-beta 4"
+#define RELEASEVERSION "1.0-beta 5"
diff --git a/src/switches.c b/src/switches.c
index f907a62..1a74bee 100644
--- a/src/switches.c
+++ b/src/switches.c
@@ -1451,7 +1451,7 @@ process_switches (int commandline)
 	{
 	  printf ("Try '%s --help' for more information, or visit:\n",
 		  progname);
-	  printf (" http://www.win.tue.nl/~ccremers/scyther/index.html\n");
+	  printf (" http://people.inf.ethz.ch/cremersc/scyther/index.html\n");
 	  exit (0);
 	}
       else