Fix installation of phpvirtualbox.