Add php5-intl extension