Не мог определить местоположение пакета linux-headers-3.10.18

Я пытаюсь использовать VMware Player на Ubuntu 12.04 LTS, но встречаюсь с той же проблемой, как обсуждено в "Заголовках ядрa 3.10.18 не найденный в Модуле Ядра VMware Updater".

Однако я, может казаться, не нахожу соответствующие заголовки Linux для 3.10.18, они не появляются при поиске в терминале или в Синаптическом. Может кто-либо, чтобы предложить, как я могу решить этот вопрос или обеспечить работу вокруг? Ваша справка очень ценится.