SERVER-10808 add __gcov_flush() call on exit