change CI to CircleCI
rm an extra file