Keeping Vagrantfile as well as the original one to prevent revision changes due to switching config files