fix for git revision numbering