Currently the Boehm collector leaks. Maybe it collects everything but not until main has returned. Is there some way to help the Boehm collector collect everything earlier? It's important that all the destructors are called.
