Actually execute autoconf-2.13. Oh no.