PHP: Fix for the Zend OPcache from src install for 5.5