Re: problem compiling pkg/crtx