Adds missing import to util.py

I have not checked other files, I just ran into that one. But correctly configured IDEs should report that kind of programming mistakes.