Packaging, issue #1202: Upgrade vagrantfile go in debian packaging