Make sure coverage is installed