That would indeed be safer (though I think we need to do the same for a few other formats). I'm not sure I understand your comment about ``os.rename`` - are you saying we can't use it on Windows?