GC_set_finalize_on_demand (1);
#if (GC_VERSION_MAJOR == 7 && GC_VERSION_MINOR == 4 \
- && GC_ALPHA_VERSION == 0)
+ && GC_VERSION_MICRO == 0)
/* BDW-GC 7.4.0 has a bug making it loop indefinitely when using more
than one marker thread: <https://github.com/ivmai/bdwgc/pull/30>.
Work around it by asking for one marker thread. */