update version generation for git, update INSTALL