Work around Python 3.2 import issues