Fix a compile problem

4 jobs for develop in 9 minutes and 18 seconds (queued for 1 second)
Status Job ID Name Coverage
  Configure
passed #107061
linux
configure-linux

00:00:02

 
  Compile
passed #107062
linux
make-linux

00:01:43

 
  Unit Test
passed #107063
linux
test

00:07:04

 
  Dev Test
passed #107064
linux
dev

00:00:29