fix coverage data for the opcache optimizer
Fixed issue #79 (Optimization Problem/Bug)
Merge branch 'PHP-5.5'

* PHP-5.5:
  Fixed issue #79 (Optimization Problem/Bug)
  fix coverage data for the opcache optimizer