Merge remote-tracking branch 'public/development' into development

* public/development:
  Remove gnutls from the travis build
  Fix soname mistake