building verify command-line tool, exposing more libraries