src/basic_rg/brgEnvironment.cmx: src/common/entity.cmx src/basic_rg/brg.cmx \
src/basic_rg/brgEnvironment.cmi
src/basic_rg/brgSubstitution.cmi: src/basic_rg/brg.cmx
-src/basic_rg/brgSubstitution.cmo: src/basic_rg/brg.cmx \
+src/basic_rg/brgSubstitution.cmo: src/common/options.cmx src/basic_rg/brg.cmx \
src/basic_rg/brgSubstitution.cmi
-src/basic_rg/brgSubstitution.cmx: src/basic_rg/brg.cmx \
+src/basic_rg/brgSubstitution.cmx: src/common/options.cmx src/basic_rg/brg.cmx \
src/basic_rg/brgSubstitution.cmi
src/basic_rg/brgReduction.cmi: src/common/status.cmx src/lib/log.cmi \
src/common/entity.cmx src/basic_rg/brg.cmx