Fix one format string issue in w32