Use literal version number, since release process dislikes dynamic