Install /etc/ignsdk-dist via ignsdk-debian-dev.install instead of debian/rules