better coverage checking, now with ccache for speed