modify php extensions
 add php54-intl