Fix a build issue for some configurations, thanks Tianyi.