Comment 66 for bug 576648

@albertomilone yes, I did (2). The headers are installed:

brunojcm@brunojcm-desktop:~$ dpkg -l linux-headers-3.8*
Desired=Unknown/Install/Remove/Purge/Hold
| Status=Not/Inst/Conf-files/Unpacked/halF-conf/Half-inst/trig-aWait/Trig-pend
|/ Err?=(none)/Reinst-required (Status,Err: uppercase=bad)
||/ Name Version Description
+++-===============================-===============================-==============================================================================
ii linux-headers-3.8.0-20 3.8.0-20.31~precise1 Header files related to Linux kernel version 3.8.0
ii linux-headers-3.8.0-20-generic 3.8.0-20.31~precise1 Linux kernel headers for version 3.8.0 on 64 bit x86 SMP
ii linux-headers-3.8.0-21 3.8.0-21.32~precise1 Header files related to Linux kernel version 3.8.0
ii linux-headers-3.8.0-21-generic 3.8.0-21.32~precise1 Linux kernel headers for version 3.8.0 on 64 bit x86 SMP