pygnulib and gnulib-tool.py script