Fix a linux build error.