Как передать аргументы командной строки отладчику с помощью VSCode?

Question

Я использую VSCode в Linux и при попытке запустить отладчик VSCode, который, в свою очередь, будет полагаться на gdb:

, предложил следующую конфигурацию запуска.

{
    "version": "0.2.0",
    "configurations": [
    {
        "name": "(gdb) Launch",
        "type": "cppdbg",
        "request": "launch",
        "program": "${fileDirname}/${fileBasenameNoExtension}",
        "args": ["a", "b", "c", "d", "e"],
        "stopAtEntry": false,
        "cwd": "${fileDirname}",
        "environment": [],
        "externalConsole": false,
        "MIMode": "gdb",
        "setupCommands": [
            {
                "description": "Enable pretty-printing for gdb",
                "text": "-enable-pretty-printing",
                "ignoreFailures": true
            }
        ],
        "preLaunchTask": "make project"
    }]

}

Здесь, используя атрибут args, я бы хотел передать 5 аргументов отлаживаемому процессу, а именно: "a", "b", "c", "d", "e".

Однако, когда я запускаю отладчик, значение argc правильно установлено на 6, но сами значения, сохраненные argv, отсутствуют.