update debian/install_php_intl.sh: fix variable name