Si les commandes setxxx (setcoot, setphenix, setccp4, ...) ne se lancent pas, vérifier que le terminal est bien sous tcsh et pas sous bash.