Coq IDE is not built anymore