fix boehm gc interface