set temporary file name extension to .gz if the URL filename ends with .gz
set temporary file name extension to .gz if the URL filename ends with .gz

NicolasSchnitzler/dtk,d-tk/dtk,rdebroiz/dtk,d-tk/dtk,d-tk/dtk,d-tk/dtk,NicolasSchnitzler/dtk,rdebroiz/dtk,rdebroiz/dtk,NicolasSchnitzler/dtk,d-tk/dtk,NicolasSchnitzler/dtk,d-tk/dtk,rdebroiz/dtk