What is this stuff that just got into cli.c, and do we really need it in the * core (after april 1st) ? in any case it has printf format bugs. luigi