Using the developer's repository worked for me after a couple of reboot/apt-get cycles. Thanks, Stephen. Sincerely, Jonathan