Tanta piccola roba

Tra le altre cose, la più pratica è poter selezionare separatamente per
codifica e decodifica statica quale device usare. Main linea 637 e 658,
basta cambiare il numero. Da me 0=GPU e 1=processore, da voi penso
0=GPU_intel, 1=processore, 2 = GPU_nvidia