cshrc: removing /opt/bin from PATH