Enable gcov_flush support when using ASSERT()