Fix a problem in cshrc