Under Linux 2.25 does not do AVI_JPEG. Selecting AVI_JPEG from the Pull Down renders anim in AVI_Raw.

Problem buttons.c and writeavi.c use different defines for the anim types.

Fix:

in blender/blenkernel/src/writeavi.c

ADD:
#include "DNA_scene_types.h"

CHANGE LINE 95 FROM :
if (R.r.imtype != AVI_FORMAT_MJPEG) format = AVI_FORMAT_AVI_RGB;
TO:
if (R.r.imtype != R_AVIJPEG ) format = AVI_FORMAT_AVI_RGB;

Bob (aka Detective Thorn)