diff --git a/prism/etc/scripts/prism-auto b/prism/etc/scripts/prism-auto
index a0a92c19..5fb9b9ba 100755
--- a/prism/etc/scripts/prism-auto
+++ b/prism/etc/scripts/prism-auto
@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python
 
 # The prism-auto script automatically executes PRISM on one or more
 # models/properties, for the purposes of benchmarking or testing.