debian package: update archive format