Fix CI server config