drop to >= 0.8 to make pypy happy