windows-specific workaround for file saving