Added histverify to bashrc