fix Vagrantfile which got overridden with wrong contents