[Bug 440952] New: Showing solver information require missing library