Vagrantfile: Figured out how to find the proper json files for config