This is currently spuriously failing. Moreover, we have the Mac Mini builder
running again so this is much less necessary now.