Rename dev to (git) to make it clear when using a git version.