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