Headers for kernel 3.10.1

Hello
I just installed trisquel, and i like it very much, but i'm having a problem after i upgraded the kernel to 3.10.1 for the 3d acceleration.
Anyway, everything is working fine but virtualbox.
When i try to install it i get the following errors;

* Trying to register the VirtualBox kernel modules using DKMS
Error! echo
Your kernel headers for kernel 3.10.1-gnu cannot be found at
/lib/modules/3.10.1-gnu/build or /lib/modules/3.10.1-gnu/source.

* Failed, trying without DKMS
* Recompiling VirtualBox kernel modules
* Look at /var/log/vbox-install.log to find out what went wrong

After that, when i try to launch virtualbox it says:

The vboxdrv kernel module is not loaded. Either there is no module
available for the current kernel (3.10.1-gnu) or it failed to
load. Please recompile the kernel module and install it by

sudo /etc/init.d/vboxdrv setup

You will not be able to start VMs until this problem is fixed.

I tried sudo /etc/init.d/vboxdrv setup but the output is the same of the first error: Your kernel headers for kernel 3.10.1-gnu cannot be found at...

Any idea how to solve this please?
Thanks a lot