Fixes downloadable builds that shipped with an empty tool registry: they
launched, but the menu held nothing but Quit. See CHANGELOG.md.