How to use virtualbox with debian