bashrc: purge all the tildes