__gcov_flush after reporters have reported