Coq not in fact fixes, disable + deps again.