Fix Linux compilation error