Make version number for MaraDNS smarter in ./configure