Fix Circle CI configuration