Win64 printf fix