Fix php.ini files, add php-intl package