VERSION: update for git version numbers