Fix Linux bugs