Fix build warnings

2 jobs for !129 with small-fixes in 6 minutes and 26 seconds (queued for 1 second)
detached
Status Job ID Name Coverage
  Build
passed #16229
build

00:02:30

 
  Distcheck
passed #16230
distcheck

00:03:55