updated rdf4h-hdbi.cabal