Cleaning up smackverify script.