New method of checking out and configuring gnulib - define which version we need...