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.