Hi, it seems nobody has updated the version string in cvs since the last release. Thus current cvs installs with an lower version string than 5.13.
Sorry, I can't fix it myself right now, because I don't have my cvs ssh key ready.
Logged In: YES
Fixed by configure.in revision 1.94, Thu Oct 18 13:39:45 2007 UTC