CircleCI: More cleanup

Authored by bgamari on Sat, Nov 24, 12:08 PM.