Debian-compatible version of IGNSDK // still unstable