Fix CircleCI configuration