2012/5/25 Nicolas Chauvet <kwizart at gmail.com>: > 2012/5/25 Sérgio Basto <sergio at serjux.com>: >> VirtualBox-OSE-kmod is dead Well, I've double checked and I've deleted this directory previously on my local copy, so something else was done... /me is investigating. Nicolas (kwizart)