made CLASP_BOEHM an optional config.local setting