Fix Linux bug