Fix CircleCI build.