Adding a --with-boehm-gc option to use Boehm instead of GGGGC.