Had the same issue (after an apt-get dist-upgrade after at least a month since the last time I upgraded). Comment #5 solved the issue for me. Surprisingly, I didn't even need to restart.
Had the same issue (after an apt-get dist-upgrade after at least a month since the last time I upgraded). Comment #5 solved the issue for me. Surprisingly, I didn't even need to restart.