cshrc: add /opt/bin to PATH back