Re: [crux64] 32bit toolkit