Fix build configuration for CI.