> Perhaps --without-gcc should be removed, if it's both useless and misleading? > (note: I don't have an interest in the matter) I had the same thought. Regards, Martin