BUGFIX: use #! /bin/bash instead of #! /bin/sh for scripts that contain bashisms