Remove dependency on php-intl