Am Donnerstag, dem 11.07.2024 um 17:53 +0200 schrieb Pavel Sanda: > What does line EGREP in your config.log says? > Here I see EGREP='/usr/bin/grep -E' Don't have this. I have in config.log configure:9394: checking for egrep -e configure:9524: result: /usr/bin/grep -E and ac_cv_path_EGREP_TRADITIONAL='/usr/bin/grep -E' -- Jürgen