Do we need bash here, or could we use /bin/sh?