diff --git a/bin/env.sh b/bin/env.sh
index 816da07c4..0c754d3b4 100644
--- a/bin/env.sh
+++ b/bin/env.sh
@@ -1,6 +1,10 @@
-#!/bin/bash
+#!/bin/sh
 
-[ -z "${BASH_SOURCE[0]}" ] && thisEnv=$0 || thisEnv=${BASH_SOURCE[0]}
+if [ -z "${BASH_SOURCE[0]}" ]; then
+  thisEnv=$0
+else
+  thisEnv=${BASH_SOURCE[0]}
+fi
 export CLAS12DIR=$(realpath $(dirname $thisEnv)/..)