Adding gcov_flush()... still not working