fix a non-portable printf format