diff --git a/read_config b/read_config
index c9c732e..408d712 100755
--- a/read_config
+++ b/read_config
@@ -379,11 +379,11 @@ if [ ${read_config_sourced:-1} = "1" ]; then    # include only once
                               ${DC_PSA_DC_FILE##*${CUSTOMER_ID}/}             \
                               ${OPKG_CMDS_PSA_FILE##*${CUSTOMER_ID}/})
 
-        log_debug "known json/ini/hex_files ->"
-        for (( i=0; i < ${#KNOWN_FILES[@]}; ++i )); do
-            tab=$'\t'
-            log_debug "$tab$tab ${KNOWN_FILES[$i]}"
-        done
+        # log_debug "known json/ini/hex_files ->"
+        # for (( i=0; i < ${#KNOWN_FILES[@]}; ++i )); do
+        #    tab=$'\t'
+        #    log_debug "$tab$tab ${KNOWN_FILES[$i]}"
+        # done
         log_debug "sanity of ${CUSTOMER_REPOSITORY_PATH} OK"
         
         # compute version string for current (i.e. previous) version