Replace broken mirror link.

The mirror used in this formula is no longer working.