Fix 801b2c9 (libdvbcsa case)