fix warning for size mismatch in #printf