php.ini fix for xdebug to work