pypy: let Homebrew translate