Fix automated choise of config_dvb.pl version