how about compressing them with, let me say, xvid or divx?