Issue #748: support for Vagrant >= 1.3.0

- since Vagrant 1.3.0 the removed options are no longer available
- see
https://github.com/mitchellh/vagrant/blob/master/CHANGELOG.md#130-september-5-2013

(cherry picked from commit 60b7906687dfe5ab121af013224559dfc7e4a847)