r4493: change name of README.gcov so it doesn't get deleted by "make clean" :-)