Updated links to v3.1.x production ZIP files.

As discussed in gh-4362.