remove dependencies to build without Coq