Just I performed the following : sudo ppa-purge xorg-edgers and then the dist upgrade proceeded very smoothly. Thanks a lot for great advice. -----Original Message----- From: