diff --git a/bin/dReach b/bin/dReach
index 447c97a58..9aac1eb75 100755
--- a/bin/dReach
+++ b/bin/dReach
@@ -1,7 +1,7 @@
 #!/usr/bin/env bash
 #This version is slightly modified by Fedor Shmarov (FS) (email: f.shmarov@ncl.ac.uk)
 
-SCRIPT_PATHNAME=`python -c "import os,sys; print(os.path.realpath(\"$0\"))"`
+SCRIPT_PATHNAME=`python2 -c "import os,sys; print(os.path.realpath(\"$0\"))"`
 SCRIPT_PATH="$( cd "$( dirname "${SCRIPT_PATHNAME}" )" && pwd )"
 
 # TODO: Specify the paths for BMC tool and DREAL