avoid gcc (3.4.3) warnings char format, different type arg -- Peter Breitenlohner