fix bugs with debian package
bug fix
bug fix
bug fix
bug fix
bug fix
bug fix
bug fix
bug fix
bug fix
bug fix
bug fix
bug fix
Merge pull request #2 from dcherix/master

Debian package bug fixes
Merge branch 'master' into dev
Use TripleReader in Databugger