Fix Mingw build. The compiler was complaining about the printf() parameter type. Change-Id: Ia1759a2d52f275acf62bf30d126fb3b0ab1050ea