I reinstalled the system from scratch, it seems the cause of the problem was the fact that I had previously
compiled driver for DVB-T2 on the same server. Anyhow, with the fresh system I managed to compile the
driver for DVB-C and the system recognizes the card correctly. Thank you.