add debugging info to coverprofile