Fix DVB module patching script.