[cbc] Installing Rodin