Debian Squeeze64 Vagrant Base Box for custom VMware provider