Make it work with pypy, which apparently gives extensions different names.