diff -r b0689af42a71 -r c199f6e97fd3 scripts/install.py --- a/scripts/install.py Tue Dec 14 14:47:44 2010 -0500 +++ b/scripts/install.py Wed Dec 15 17:31:18 2010 +0100 @@ -486,7 +486,7 @@ for filename in remove_file_list: print "rm",filename if not self._dryrun: - if os.path.exists(filename): + if os.path.lexists(filename): remove_dir_set.add(os.path.dirname(filename)) try: os.remove(filename)