Fix compilation problems #337
Description
Current head has problems when compiling with gcc 12 and -W error option, as reported in comment #336 (comment) .
{{ message }}
Current head has problems when compiling with gcc 12 and -W error option, as reported in comment #336 (comment) .