update debian/install_php_intl.sh: need g++