adapted to python.org extension change