gnulib-tool.py: follow gnulib-tool changes, part 4 Follow gnulib-tool change 2013-01-05 Paul Eggert <eggert@cs.ucla.edu> gnulib-tool: fix incompatibility with autopoint 0.18.2