make it work with pypy, which defines __builtins__ differently