add debian/install_php.sh