fix warning for mingw32ce (gcc 4.1.0)