__gcov_flush might be undefined in Release configurations (e.g., Travis CI)