Partially revert b63d133.
CSH does not support shell functions (as noted in #57, by @jjlin)