Fix Vagrant provider setting