Am Freitag, dem 12.07.2024 um 15:28 +0200 schrieb Jean-Marc Lasgouttes: > Do you see a mention of grep and egrep in the configure output? yes: > checking for grep that handles long lines and -e... /usr/bin/grep I get nothing like the above, but > checking for egrep... /usr/bin/grep -E checking for egrep -e... /usr/bin/grep -E -- Jürgen