Fix path of coverage so that running it in sudo does not trigger error.