Fix vbox installation failure on Ubuntu