Updated the JSON file names in the Virtualbox build-all script.