Как получить Software Update для автоматического получения исходного кода ядра вместе с обновлением ядра?

Я использую Ubuntu 12.10. По какой-то причине каждый раз, когда происходит обновление ядра, оно больше не устанавливает linux-headers-* и linux-header-*-generic в /usr/src. Поэтому каждый раз, когда я обновляю свою виртуальную Ubuntu в VirtualBox, мне приходится вручную устанавливать заголовки ядра перед повторным запуском пакета Guest Additions.

Я уверен, что 12.04 автоматически установил заголовки ядра, потому что мне никогда не приходилось делать это раньше. Как мне это исправить?