Werner LEMBERG Sun, 12 Oct 2014 11:51:06 -0700
> I pulled from git and did a make distclean. This isn't enough. You have to re-execute `config.status'.
Werner