tvec tools pass and have manpages