Add MBO_ENABLE_COVERAGE option in configuration.