minor adjustment to fix broken Travis CI build.  Still need to enable coverage in the default build.