What I did to make it work: 1) "sudo aptitude purge linux-headers-3.0.0-11 linux-headers-3.0.0-11-generic linux-headers-generic" 2) "sudo aptitude install linux-headers-3.0.0-11 linux-headers-3.0.0-11-generic linux-headers-generic" - header files are now correctly installed 3) "sudo aptitude purge virtualbox-guest-dkms virtualbox-guest-utils virtualbox-guest-x11" 4) install guest additions using jockey-gtk
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/854995 Title: virtualbox-guest-dkms 4.1.2-dfsg-1ubuntu1: virtualbox-guest kernel module failed to build (make: Makefile: No such file or directory) To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/virtualbox/+bug/854995/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs