Can't open gnulib/gnulib-tool.py: No such file or directory.