Vagrantfile fix for issue #216