try -noverify to silence travis ci errors