a tcsh configuration file