-rectypes
-I /usr/lib/coq/kernel -I /usr/lib/coq/proofs -I /usr/lib/coq/pretyping
--include debian/libaac-tactics-ocaml-dev/usr/lib/coq