do not rmdir release_workspace on win32