Check for opcache.so before writing to php.ini