Add back flx, but increase `gc-cons-threshold'