gcov now generated in .gcov files in tools directory