updates/kdb/i386/diffs/
base06dc.kdc.coq
base06dc.kdc.a7f