It's our library, so:

from lib.python import shell