php 5.5, fix extension name in opcache.ini