Comment # 5 on bug 998134 from J�rgen Spitzm�ller

I don't know what happened, but the problem seems to have disappeared in the
wake of recent Tumbleweed updates.