diff --git a/plugins/PluginDownloader/plugin.py b/plugins/PluginDownloader/plugin.py
index 756707c03..fbfe2c6f2 100644
--- a/plugins/PluginDownloader/plugin.py
+++ b/plugins/PluginDownloader/plugin.py
@@ -151,6 +151,9 @@ class GithubRepository(GitRepository):
                     newFileName = os.path.join(*file.name.split('/')[1:])
                     newFileName = newFileName[len(self._path)-1:]
                     newFileName = os.path.join(directory, newFileName)
+                    if os.path.exists(newFileName):
+                        assert os.path.isdir(newFileName)
+                        shutils.rmtree(newFileName)
                     if extractedFile is None:
                         os.mkdir(newFileName)
                     else:
diff --git a/src/version.py b/src/version.py
index 97bd73102..d444b448d 100644
--- a/src/version.py
+++ b/src/version.py
@@ -1,3 +1,3 @@
 """stick the various versioning attributes in here, so we only have to change
 them once."""
-version = '0.83.4.1+limnoria (2011-07-12T16:09:54+0200)'
+version = '0.83.4.1+limnoria (2011-07-14T17:34:26+0200)'