diff --git a/gui/progressbarDummy.py b/gui/progressbarDummy.py
index a77c54c..29ec2b3 100644
--- a/gui/progressbarDummy.py
+++ b/gui/progressbarDummy.py
@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python
 """
 	Scyther : An automatic verifier for security protocols.
 	Copyright (C) 2007-2009 Cas Cremers
diff --git a/gui/scyther-gui.py b/gui/scyther-gui.py
index 42da9c8..ac3a55c 100755
--- a/gui/scyther-gui.py
+++ b/gui/scyther-gui.py
@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python
 """
 	Scyther : An automatic verifier for security protocols.
 	Copyright (C) 2007 Cas Cremers
diff --git a/gui/scyther.py b/gui/scyther.py
index ba456e9..736bd2c 100755
--- a/gui/scyther.py
+++ b/gui/scyther.py
@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python
 """
 	Scyther : An automatic verifier for security protocols.
 	Copyright (C) 2007 Cas Cremers
diff --git a/gui/test-delta.py b/gui/test-delta.py
index d2cb25c..67a0b3f 100755
--- a/gui/test-delta.py
+++ b/gui/test-delta.py
@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python
 """
 	Scyther : An automatic verifier for security protocols.
 	Copyright (C) 2007 Cas Cremers
diff --git a/gui/test-mpa.py b/gui/test-mpa.py
index fbbfce3..01a58cf 100755
--- a/gui/test-mpa.py
+++ b/gui/test-mpa.py
@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python
 """
 	Scyther : An automatic verifier for security protocols.
 	Copyright (C) 2007 Cas Cremers