fix CircleCI build