Fix a build error in linux.