Fix debian dependency name mangling
Merge pull request #361 from r4um/deb_dep_mangling_fix

Fix debian dependency name mangling.