fixed dynamic Vagrantfile