phpのssh2.soのエラー解決

サーバー環境をいろいろといじっていたら、
PHPが下記のようなエラーを出すようになった。
何を変えたことで発生したかは不明。

PHP Warning:  PHP Startup: Unable to load dynamic library '/usr/lib64/php/modules/ssh2.so' - /usr/lib64/php/modules/ssh2.so: undefined symbol: php_checkuid in Unknown on line 0

ssh2.soやlibssh2.soを再インストールしても
エラーメッセージが多少変わるものの治らず。

結局、ssh2-0.12をソースからコンパイルする時に下記のオプションを付けて解決。

./configure --with-ssh2 --with-php-config=/path/to/correct/php/bin/php-config

php-configのパスは下記で探した。

sudo find / -name "php-config*"

大変だった。