Fix Vagrant warning about deprecated configuration option