Fix Linux build error