bashrc: no debug echo