Keeping around for my old favourite shell tcsh