fix option for BOEHM garbage collector
fix option for BOEHM garbage collector

darcs-hash:20080314232909-1a7c6-f7ca384433d2097775fd945c64dc3e6181965f16

kirbyfan64/jhc,kirbyfan64/jhc,kirbyfan64/jhc,kirbyfan64/jhc