Prev build was hit by the same problem as http://bugs.debian.org/673297, so it should work now. TIA, -- Yann