diff --git a/gui/Bin/Scyther.exe b/gui/Bin/Scyther.exe
deleted file mode 100644
index 595550b..0000000
Binary files a/gui/Bin/Scyther.exe and /dev/null differ
diff --git a/gui/Bin/scyther-linux b/gui/Bin/scyther-linux
index f544b31..66d5842 100755
Binary files a/gui/Bin/scyther-linux and b/gui/Bin/scyther-linux differ
diff --git a/gui/Bin/scyther-osx-intel b/gui/Bin/scyther-osx-intel
deleted file mode 100755
index 36b8559..0000000
Binary files a/gui/Bin/scyther-osx-intel and /dev/null differ
diff --git a/gui/Bin/scyther-ppc b/gui/Bin/scyther-ppc
deleted file mode 100755
index 97d0847..0000000
Binary files a/gui/Bin/scyther-ppc and /dev/null differ
diff --git a/gui/Bin/scyther-w32.exe b/gui/Bin/scyther-w32.exe
new file mode 100755
index 0000000..0cbffbe
Binary files /dev/null and b/gui/Bin/scyther-w32.exe differ
diff --git a/gui/Scyther/Scyther.py b/gui/Scyther/Scyther.py
index aafb99c..f827378 100755
--- a/gui/Scyther/Scyther.py
+++ b/gui/Scyther/Scyther.py
@@ -56,7 +56,7 @@ def getScytherBackend():
     elif sys.platform.startswith('win'):
 
         """ Windows """
-        scythername = "Scyther.exe"
+        scythername = "scyther-w32.exe"
 
     else:
 
diff --git a/src/copy2gui.sh b/src/copy2gui.sh
index 3dc48bb..1813f15 100755
--- a/src/copy2gui.sh
+++ b/src/copy2gui.sh
@@ -1,4 +1,6 @@
 #!/bin/sh
 
 cp scyther-linux ../gui/Bin
+cp scyther-w32.exe ../gui/Bin
+cp scyther-osx ../gui/Bin