Problem solved! I rebooted, and then, as recommended, executed sudo apt-get install -f This worked; no more problems! -- Saul On Thu, Dec 20, 2012 at 8:21 AM, Saul Lubkin