Verbose messages for coveralls, and check gcov