rename bin into verity