added gcov flush definition as extern