adds php5-intl extension to PHP setup