fixed issue where vbox kernel modules were not built