Use RJ CentOS VagrantBox with VMware and Virtualbox providers