demoreload.sh: explicitly require /bin/bash

The substitution syntax at line 89 is a bash-ism, dash (Ubuntu default
/bin/sh) does not support it.