CircleCI: Fix git tagging of version