fix missing include
Merge branch 'PHP-5.5'

* PHP-5.5:
  fix missing include