Comment 5 for bug 1023145

Other test:

sudo apt-get install --reinstall linux-headers-generic linux-headers-$(uname -r) build-essential
Lettura elenco dei pacchetti... Fatto
Generazione albero delle dipendenze
Lettura informazioni sullo stato... Fatto
0 aggiornati, 0 installati, 3 reinstallati, 0 da rimuovere e 0 non aggiornati.
È necessario scaricare 0 B/926 kB di archivi.
Dopo quest'operazione, verranno occupati 0 B di spazio su disco.
(Lettura del database... 227407 file e directory attualmente installati.)
Preparativi per sostituire build-essential v.11.5ubuntu2.1 (utilizzando .../build-essential_11.5ubuntu2.1_amd64.deb)...
Estrazione del sostituto di build-essential...
Preparativi per sostituire linux-headers-3.5.0-030500-generic v.3.5 (utilizzando .../linux-headers-3.5.0-030500-generic_3.5_amd64.deb)...
Estrazione del sostituto di linux-headers-3.5.0-030500-generic...
Preparativi per sostituire linux-headers-generic v.3.2.0.32.35 (utilizzando .../linux-headers-generic_3.2.0.32.35_amd64.deb)...
Estrazione del sostituto di linux-headers-generic...
Configurazione di build-essential (11.5ubuntu2.1)...
Configurazione di linux-headers-3.5.0-030500-generic (3.5)...
Examining /etc/kernel/header_postinst.d.
run-parts: executing /etc/kernel/header_postinst.d/dkms 3.5.0-030500-generic /boot/vmlinuz-3.5.0-030500-generic
Error! Your kernel headers for kernel 3.5.0-030500-generic cannot be found.
Please install the linux-headers-3.5.0-030500-generic package,
or use the --kernelsourcedir option to tell DKMS where it's located
Configurazione di linux-headers-generic (3.2.0.32.35)...

but sudo apt-get install linux-headers-3.5.0-030500-generic returns that this package is already installed.