Changed circe to the new, github source.