libdvbpsi: fix compilation