Fix gcc Linux build error