update debian/install_php.sh: style; add message