fix update_php.sh