valknut compiles fine on my machine with libdc0-dev version 0.3.13-1 which was, according to the PTS, uploaded on 2009-11-25, that is one month before the bug against valknut was reported. That looks like a false alarm to me. -Ralf. -- Ralf Treinen Laboratoire Preuves, Programmes et Systèmes Université Paris Diderot, Paris, France. http://www.pps.jussieu.fr/~treinen/