coverage cannot run in pypy, it seems