Fixes for coverage optionality

Tristan Van Berkomrequested to merge
tristan/optional-coverage-fixup into master

Running tests without coverage was actually broken.

And the tests makefile was adding a dependency on the "force" package.

Merge request reports