Fix CI server.