Hack for missing tkinter. Fix bug #7