Install virtualbox directly from a deb release