Change how we install virtualbox on debian