Restore correct version of setup.csh