update debian/install_php.sh: fix --with-mysql