fix build error with arm-mingw32ce