configure.ac.in: fixed libdvbpsi detection for people who don't have