don't depend on pypy servers at launch