On Thu, Jul 11, 2024 at 01:51:03PM +0200, Jürgen Spitzmüller wrote: > If I understand the scrips correctly (which I very likely do not) the > command that is missing here is egrep. What does line EGREP in your config.log says? Here I see EGREP='/usr/bin/grep -E' Pavel