add back CFLAGS_GCOV which I removed in last commit by accident