fix #88 Vagrantfile