Add a decoder for KDC files as well