COMP: Fix compilation error on Linux.