Use proper versioning now that the Github repo has tags.