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)