Added -noverify to work around VerifyError #108