added variable 'gitrev' that holds the revision id