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