[Stop depending on the executable bit of igor2, run with sh instead.
tobias@goedderz.info**20150317123255
 Ignore-this: 194c7005da7d25999690e3680f2c8471
] hunk ./create_tests.bash 23
-        ./igor2 -b "$bat" \
+        sh ./igor2 -b "$bat" \
hunk ./run_failed_test.bash 17
-echo "[$(date +"%F %X")] Executing:" ulimit -v $memlimit\; timeout $timelimit ./igor2 -b "${batch_fn}" \> "$tmpfn"
+echo "[$(date +"%F %X")] Executing:" ulimit -v $memlimit\; timeout $timelimit sh ./igor2 -b "${batch_fn}" \> "$tmpfn"
hunk ./run_failed_test.bash 20
-    ./igor2 -b "$batch_fn" > "$tmpfn" 2>&1 )
+    sh ./igor2 -b "$batch_fn" > "$tmpfn" 2>&1 )
hunk ./run_test.bash 21
-    ./igor2 -b "$batch_fn" 2>&1 \
+    sh ./igor2 -b "$batch_fn" 2>&1 \
hunk ./write_tests_output.bash 7
-    echo "[$(date +"%F %X")] Executing:" timeout 60 ./igor2 -b "${bat}" \> "$out"
+    echo "[$(date +"%F %X")] Executing:" timeout 60 sh ./igor2 -b "${bat}" \> "$out"
hunk ./write_tests_output.bash 10
-        ./igor2 -b "$bat" \
+        sh ./igor2 -b "$bat" \