bashrc/cshrc: using latest fix from Bernhard Gschaider