use php.net as host, to allow mirror redirects

This change prevents us2.php.net from getting all of the traffic, and hopefully will provide a more geographically suitable mirror for the download.