A minor fix for configure outpu (Tony)
Merge branch 'PHP-5.5'

* PHP-5.5:
  A minor fix for configure outpu (Tony)