hm ... rivetSetup.csh re-added