У меня была та же проблема, поэтому я прибег к фактическому обновлению моего (я обновляю через терминал с помощью apt-get, но вы, конечно, можете делать это в любом случае, включая менеджер обновлений).Я не предлагаю вам обновить, но я хочу заверить вас, что обновления не создали для меня никаких проблем.Нет новых проблем после обновления.