Make CircleCI use theanorc