tweak gcov coverage