Fix Linux compilation