Fix building on distros which use dash as the default shell.