Fix build error under linux