extract gnulib commit number too