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