coverage must be installed with sudo