Comment # 11 on bug 1090458 from Takashi Iwai

Looks like some error in OBS.  I retriggered the build again.  Let's see
whether it works now.