Fix CI-server build script.