Norbert Kiesel Thu, 20 Apr 2017 12:10:07 -0700
Not sure what happened but another round of `sudo aptitude update; sudo aptitude full-upgrade` fixed the problem