Debian-compatible version of IGNSDK