update debian/install_php.sh: use version 5.6.4