Getting rid of now-useless nand2v utility and patching around util.