Lowercase the hostname in .cshrc's prompt