(In reply to Dr. Werner Fink from comment #2) > What shell are you using as /bin/sh ... see output of > > update-alternatives --config sh # update-alternatives --config sh update-alternatives: error: no alternatives for sh