I search a video stabilizer software. - Input: Video in AVI/MPG - Output: Same video, stabilized, in a common video format - It should be easy to use. It is for my son - twelve years old. Software for Linux is preferred, but Windows is OK, not mac.