This fixes #7676.  An update server was added.