Could someone tell me what file extension I should use, so I could play videos from USB through my Edison box to my TV. Thank you in advance!