fix Vagrantfile and config