commit 01cd9d06267bf5f20bfa78a2d21865838d6a8a85 parent 446ed6aa0c3361385ef5f73f50a931958716980f Author: Christian Grothoff <christian@grothoff.org> Date: Sat, 21 Jun 2025 15:00:46 +0200 fix issues with build from scratch with new include directory structure Diff is too large, output suppressed.