Not sure if upstream is going to want these Vagrantfile changes.