Re: [jhc] trouble with jhc 0.7.1