php{53,54}: fetch from generic URL

I see no reason to download from a pre-specified mirror.
It didn't even work for me.