Fix build issue on CI server.