Delete libtiverify.a