Fix a typo that broke gcov support