See if adding linux headers fixes vbox issue