'coq' tactic renamed to 'cybele'