armsoc: unbreak debian support