use lcov to make coverage info precise