Use Boehm garbage collector