utilities for running debian in virtualbox