Arch is dead; long live EOS!

Arch is down for the summer, so we'd better not depend on it for proxies.