Linux header files for DVB support