Fix Linux compilation issue