fix serialization bug on windows, hopefully