pdf-tools need latest autoconf I guess.