php: get rid of the curl-hosting list