Using terminal update didn't fix the problem. Some packages weren't updated. With dist-upgrade the problem seems to be fixed. So I believe it has been already fixed in the meanwhile. I'm sorry for the report.
Using terminal update didn't fix the problem. Some packages weren't updated. With dist-upgrade the problem seems to be fixed. So I believe it has been already fixed in the meanwhile. I'm sorry for the report.