correct library name under pypy