Don't run coverage tests as part of build (yet)