Hallo,
ich habe die Lösung gefunden: Nach einem
make distclean
und im Anschluss wiederphpize ./configure make make install
Hm. Ich lösche - wenn ich schon mal was aus Quellen installiere - bei quasi jedem hierbei auftretenden Problem ganz stumpf das Quellverzeichnis und packe es mindestens aus dem existierenden tar-File neu aus… (Wozu hat man denn sonst den mc
? 😀) Das mag nicht der „Königsweg“ sein - aber auch Könige gingen ja schon in den Teich…