-R src/CoqUp CoqUp
-R lib/bbv/src/bbv bbv