Add some debug printing, file mingw32ce files.