fix Linux build error