Make clear about the commands to use when using tcsh