make win32 happy with proper filename decoding