Additions for libhdmiclient