Fix compilation with gcc 13
A missing include makes compilation with gcc 13 fail. This MR adds the missing include and reformats the affected file.
A missing include makes compilation with gcc 13 fail. This MR adds the missing include and reformats the affected file.