AVI→MP4

Convert AVI video to MP4 — runs on your device, files stay yours.