Fix coverall config