fix serialization issue on Windows