Work around the python-tk problem elsewhere