--- a/install.py Fri Sep 17 19:29:39 2010 +0200 +++ b/install.py Sat Sep 18 12:29:34 2010 +0200 @@ -812,6 +812,9 @@ try: if installFromSource: os.rename(configName, configName + ".orig") + configNameC = configName + 'c' + if os.path.exists(configNameC): + os.remove(configNameC) os.remove(configName) except EnvironmentError: pass @@ -856,6 +859,9 @@ try: if installFromSource: os.remove(configName) + configNameC = configName + 'c' + if os.path.exists(configNameC): + os.remove(configNameC) os.rename(configName + ".orig", configName) except EnvironmentError: pass