Likely fix for compilation error on Linux.