Make use of AG Crypto 0.1.3 from snapshots