Hook up with Coverage.jl