Remove php-intl to make hhvm happy ...