Fix Vagrantfile errors in provision function