There is no need to force SHELL in the websh wrapper once dash is used by default (2)