Fix variable name of the example Vagrantfile