application: Make use of extensions to run the miners

Fixes: https://bugzilla.gnome.org/731865