This is the default extension the package "tcolorbox" may generate. The actual extension may be changed by key "listing file" provided by "tcolorbox".
muzimuzhi