Force /bin/bash as shell for some scripts.

Signed-off-by: Stefan Westerfeld <stefan@space.twc.de>

src/ber-test.sh

+#!/bin/bash
+
 # pseudo random pattern, 128 bit
 
 PATTERN=4e1243bd22c66e76c2ba9eddc1f91394

src/gen-fer-mk.sh

+#!/bin/bash
+
 DELTA_RANGE="0.005 0.006 0.007 0.008 0.009 0.010 0.011 0.012 0.013 0.014 0.015"
 SEEDS="$(seq 0 19)"
 
@@ -25,13 +27,13 @@ do
 
     FILE="$DELTA-mp3-$SEED"
     echo "$FILE:"
-    echo -e "\t( cd ..; AWM_SET=huge AWM_PARAMS='--water-delta $DELTA' AWM_REPORT=fer AWM_SEEDS=$SEED AWM_FILE='t-$FILE' bash ber-mp3.sh ) >x$FILE"
+    echo -e "\t( cd ..; AWM_SET=huge AWM_PARAMS='--water-delta $DELTA' AWM_REPORT=fer AWM_SEEDS=$SEED AWM_FILE='t-$FILE' ber-mp3.sh ) >x$FILE"
     echo -e "\tmv x$FILE $FILE"
     echo
 
     FILE="$DELTA-double-mp3-$SEED"
     echo "$FILE:"
-    echo -e "\t( cd ..; AWM_SET=huge AWM_PARAMS='--water-delta $DELTA' AWM_REPORT=fer AWM_SEEDS=$SEED AWM_FILE='t-$FILE' bash ber-double-mp3.sh ) >x$FILE"
+    echo -e "\t( cd ..; AWM_SET=huge AWM_PARAMS='--water-delta $DELTA' AWM_REPORT=fer AWM_SEEDS=$SEED AWM_FILE='t-$FILE' ber-double-mp3.sh ) >x$FILE"
     echo -e "\tmv x$FILE $FILE"
     echo
   done