Having to maintain only one of these seems easier, and likely nobody
uses csh any more.

Change-Id: Ia4ddb54d27999fbf17ceea0b8bd76e59a29b023d