Comment 6 for bug 246701

(Please note: the debdiff above is now out-of-date; but can still be used, and then just replace the file in debian/patches.)

(There is also now a merge proposal against https://bazaar.launchpad.net/~ubuntu-desktop/vte/ubuntu/changes, which does use the updated patch.)