Fixes Vagrantfile and ansible-dev.sh