Re: [pypy-dev] problem with build tool