Update Vagrantfile_debian-wheezy64