smart-keys-updated-mini-keytool-07.2019