Fix build error on linux