Support php_opcache profiling