[BUGFIX] make Code Coverage tools independent of globally-installed PHPUnit