fixes for checked mode and updates for the archive library