I'm a bit confused here. According to [this Dmitry's commit](https://github.com/php/php-src/commit/c765c81cf68d278708bdee816d636d41e6098d33), the product name is (or should be) still Zend Optimizer+.