WMV→MP4

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