Correct shell path

[[ ]] syntax is not understood by dash, which is what /bin/sh runs on
Debian.  Use bash instead.