Fix main Vagrantfile

Revert the issue mentioned in #480