PHP: Zend OPcache is a zend_extension and needs full path in the php.ini