# CONFIG_USE_THIN_ARCHIVES is not set