We'll need to handle multiple DESTDIRs. Comparing two DESTDIRs you can know the difference. Making an archive would be easy. Binpatch should not be difficult if we have stable (== reproducible) build once. And it's almost there. Masao -- Masao Uebayashi / Tombi Inc. / Tel: +81-90-9141-4635