debian: fixup