This is just part of the default generated Vagrantfile, let's just leave it alone.