Make widgets.py work on Ubuntu