Update php5-tools.sh