Fix compilation with GCC 8

1 job for fix-devtools8 in 4 minutes and 53 seconds (queued for 1 second)
Status Name Job ID Coverage
  Start
passed build-start #6615950

00:04:53