added -noverify as argument