Work around the python-tk problem again