UPDATE: I just ran sudo aptitude install virtualbox-ose-source linux-headers-generic and the problem is gone!
UPDATE: I just ran sudo aptitude install virtualbox- ose-source linux-headers- generic and the problem is gone!