Debian packaging of SGABIOS