getting rid of CircleCI -- let's see if this fixes coveralls