diff --git a/src/arachne b/src/arachne
deleted file mode 100755
index 65013f4..0000000
--- a/src/arachne
+++ /dev/null
@@ -1,3 +0,0 @@
-#!/bin/sh
-
-scyther -a $*
diff --git a/src/cetest-cm.sh b/src/cetest-cm.sh
deleted file mode 100755
index bdc7481..0000000
--- a/src/cetest-cm.sh
+++ /dev/null
@@ -1,6 +0,0 @@
-#!/bin/sh
-#
-# Test conform ce stuff, but our version
-#
-./scyther -r5 $* ../spdl/bkepk.spdl
-./scyther -r6 $* ../spdl/bkepk.spdl | tail -n 1
diff --git a/src/cetest.sh b/src/cetest.sh
deleted file mode 100755
index b1caa8e..0000000
--- a/src/cetest.sh
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/bin/sh
-#
-# Test conform ce stuff.
-#
-./scyther -r6 $* ../spdl/bkepk-ce.spdl
-./scyther -r7 $* ../spdl/bkepk-ce.spdl | tail -n 1
-./scyther -r8 $* ../spdl/bkepk-ce.spdl | tail -n 1
-./scyther -r7 $* ../spdl/bkepk-ce2.spdl | tail -n 1
-./scyther -r8 $* ../spdl/bkepk-ce2.spdl | tail -n 1
-./scyther -r9 $* ../spdl/bkepk-ce2.spdl | tail -n 1
diff --git a/src/scytherat b/src/scytherat
deleted file mode 100755
index fc73d2f..0000000
--- a/src/scytherat
+++ /dev/null
@@ -1,37 +0,0 @@
-#!/bin/bash
-#
-# Shell script to display the latex output relatively quickly. For
-# internal testing only, as it depends on the spdl subdirectory.
-#
-# Usage example:
-#
-#	./scytherat ns3
-#
-
-file=../spdl/$1.spdl
-template=../src/attacktemplate
-
-if [ -f $file ]
-then 
-    ../src/scyther --latex $file -o attack.tex
-    if [ "$?" -eq "3" ]
-    then
-        latex $template.tex
-    
-        mv $template.dvi attack.dvi
-        #dvips attack.dvi -o attack.ps
-    
-        # also eps output now
-        #ps2eps -f attack.ps
-    
-        xdvi attack.dvi		# for Xdvi
-        #    kdvi attack.dvi		# for KDE environment
-        #    kghostview attack.ps	# postscript in KDE
-    fi
-else
-
-  echo "No file $file found."
-
-fi
-
-
diff --git a/src/scytherss b/src/scytherss
deleted file mode 100755
index 3ad3eb6..0000000
--- a/src/scytherss
+++ /dev/null
@@ -1,7 +0,0 @@
-#!/bin/sh
-#
-# Typical usage:
-#
-# ./scytherss bke.spdl -r2 | ggv -
-
-./scyther --state-space $* | dot -Tps
diff --git a/src/speedtest b/src/speedtest
deleted file mode 100755
index 5a70e53..0000000
--- a/src/speedtest
+++ /dev/null
@@ -1,3 +0,0 @@
-#!/bin/sh
-
-./scyther -d -p0 -r 8 $* ../spdl/speedtest.spdl >/dev/null