Drop versiontools after fix to manpage build.