fix setup-carneades