Re: [pypy-dev] Translation with pypy picking up wrong libraries