Re: [squirrelfish] disable JIT leads to segmentation fault