miner_ops.sh from last release.
Automatically install the extension and will prompt you as needed
you will probably have to logout and log back in to activate Argos in Extensions
with both deb and sig file in the same folder, verify detach signature with the following procedure :
gpg --keyserver hkp://keyserver.ubuntu .com --search-key 825F1FE5
gpg --verify avalauto_v0.0.7beta_amd64.deb.sig
