Remove custom stuff from Vagrant.json