php: be more verbose about --with-libmysql option

Closes issue #1092