Does it FTBFS on debian? If it only fails on ubuntu then it definitely is not a serious bug for us. Downgrading to normal for now, until there is evidence that this also occurs on debian. -Ralf