Fix of the Gdb compilation issue for clang15 unfortunately introduced with MR !1002 (merged)
Tagging @akraszna and @ssnyder for info.