Comment 80 for bug 33617

Not necessary, problem solved automatically by updates yesterday.