Update php-hiphop-nginx.sh