update debian/install_php.sh: use version 5.5.17