make php5-intl an optional dep