Fix build error on Linux