Fix flag passed to GCOV