Packaging libint version2 in dpkg scheme