(In reply to Jiri Slaby from comment #5) > This is a very old bug. Closing this in a hope this got fixed upstream. > Sorry for that. > > You still can reopen if this still happens. But it would make more sense to > report and handle this upstream. Just tested it and as it seems, the problem is fixed indeed.