;; Exclude the coq-itree-lmi folder which is built independently
(dirs :standard \ coq-itree-lmi)