Fix compilation error on Debian 10

1 job for main in 1 minute and 26 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Build
passed #761
freem

00:01:26