Use Botan 2.13.0 for tests