Use /usr/bin/hets as path.
Merge branch 'master' of github.com:ontohub/ontohub
Use --full-signatures on hets call.