Fix Linux compile error