MacOS auto-build servers were down back up.

Caused the failure of builds on the Mac branch.