Fix compilation warning for linux/gcc