[Python-Dev] os.rename on windows