Шаг bat в Jenkinsfile обрабатывает команду Curl по-разному, если она выполняется непосредственно в командной строке

Я хочу загрузить файл tar.gz с помощью curl, и это команда, которую я попробовал с помощью cmd моего Windows (локально):

curl --user admin:admin --location "https://my_api/doxy_manual.tar.gz" --output doxy_manual.tar.gz 

И это работает, поскольку я могу открыть файл, если дважды щелкну по нему.

К сожалению, если я вставлю ту же самую команду в свой Jenkinsfile на работающий экземпляр Jenkins на сервере Windows:

pipeline {
    agent any

    stages {
        stage('Hello') {
            steps {
                echo 'Hello World'
            }
        }
    }
    
    post {
        always {
            script {
                bat """
                    curl --user admin:admin --location "https://my_api/doxy_manual.tar.gz" --output doxy_manual.tar.gz
                """
            }
        }
    }
}

При двойном щелчке по загруженному файлу я получаю следующую ошибку:

7-zip: невозможно открыть файл «C:\Users\john\Downloads\doxy_manual.tar.gz» как архив [gzip]. Ошибка: не в архиве

Что мне не хватает?