If it match, shouldn't be `$options['--coverage-src']` required earlier?