autoconf-2.13: add versioned executable

Needed by mozilla hg builds.