PHP5.23 で libphp5.soが作成されないバグ

必要にせまられてPHP5環境を用意しようとphp5.2.3をビルドしたところ
make install のタイミングで libphp5.so が存在しないエラーがでて
インストールを完了できない。
調べてみると、configure のバグみたいだが以下のようにすると解決した。

エラーがでたら一度
make clean
make distclean

で再度
configure から ビルド

仕事で必要にでも迫られなければPHPなんて使わないだけどな
はまってしまった。