deployment, issue #1787: Remove deprecated port forwarding from /Vagrantfile