The download link is very hard to find, so its here
Use these settings:
Output container: AVI
Video Codec: DIVX
Audio Codec: mp3
Encoder: MEncoder
Video settings
Size: 320:176
Aspect: 16:9
Frame/sec: 12.5 (pal) 14.985 (NTSC)
Audio settings
Sampling freq: 22050
Channels: 2
Bitrate: 64
Audio stream: default
Enjoy!
