Added portable vmnc to verifier