Re: [pypy-dev] Autotools integration / How to determine .so filename extension