coverage needs to be run in toplevel of Pkg folder