diff --git a/run_record_gecode.sh b/run_record_gecode.sh
index 24192f6..2cf7dd4 100755
--- a/run_record_gecode.sh
+++ b/run_record_gecode.sh
@@ -13,7 +13,7 @@ mkdir -p ${output_folder}
 
 for data in ./${folder}/*.dzn; do
 	echo -n "Recording ${model} with ${data}: "
-	for i in {1..${runs}}; do
+	for i in $( seq 1 $runs ); do
 		echo -n "${i} "
 		filename=$(basename -- "$data")
 		filename="${filename%.*}"
diff --git a/run_replay_gecode.sh b/run_replay_gecode.sh
index 8f320ba..cb6da86 100755
--- a/run_replay_gecode.sh
+++ b/run_replay_gecode.sh
@@ -14,7 +14,7 @@ mkdir -p ${output_folder}
 
 for data in ./${folder}/*.dzn; do
 	echo -n "Replaying ${model} with ${data}: "
-	for i in {1..${runs}}; do
+	for i in $( seq 1 $runs ); do
 		echo -n "${i} "
 		filename=$(basename -- "$data")
 		filename="${filename%.*}"
diff --git a/run_restart_chuffed.sh b/run_restart_chuffed.sh
index 718bb1b..d5185ab 100755
--- a/run_restart_chuffed.sh
+++ b/run_restart_chuffed.sh
@@ -13,7 +13,7 @@ mkdir -p ${output_folder}
 
 for data in ./${folder}/*.dzn; do
 	echo -n "Running ${model} with ${data}: "
-	for i in {1..${runs}}; do
+	for i in $( seq 1 $runs ); do
 		echo -n "${i} "
 		filename=$(basename -- "$data")
 		filename="${filename%.*}"
diff --git a/run_restart_gecode.sh b/run_restart_gecode.sh
index 4ef5053..8326d72 100755
--- a/run_restart_gecode.sh
+++ b/run_restart_gecode.sh
@@ -13,7 +13,7 @@ mkdir -p ${output_folder}
 
 for data in ./${folder}/*.dzn; do
 	echo -n "Running ${model} with ${data}: "
-	for i in {1..${runs}}; do
+	for i in $( seq 1 $runs ); do
 		echo -n "${i} "
 		filename=$(basename -- "$data")
 		filename="${filename%.*}"