Debian init script: do not rely on bashisms

Since the shebang is /bin/sh, do not use bash-specific syntax (because that will fail on systems that do not alias /bin/sh to bash).

An alternative would be to change the shebang to `/bin/bash`, but there's no real need for those bashisms.