here's the patch, I hope I didn't screw up, being notoriously good at it :-) Please note: there's still a problem with the python-wcwidth module that's not found, but the problem existed before. My 1st fix didn't work, so I'll try again later.