Fix test failures on Travis CI
test harness: fixes for local execution; coverage is now optional