Debian packaging of vmdebootstrap