printf: handle %%