Update Vagrantfile_debian73