+ chmod -f --reference=$DEST.old $DEST.new $DEST.new.plain 2>/dev/null || true
+fi
+
+if [ "$PCI_COMPRESSED_IDS" = 1 ] ; then
+ if [ "${SRC%.gz}" != .gz ] ; then
+ # Recompress to gzip
+ gzip <$DEST.new.plain >$DEST.new
+ fi
+ mv $DEST.new $DEST
+ rm -f $DEST.new.plain
+else
+ mv $DEST.new.plain $DEST
+ rm -f $DEST.new