[Bug 440952] Showing solver information require missing library