I installed the package x264-devel on allegra.martian. This package provides headers and libraries for the popular h264 video codec. I am going to use this in the GStreamer streaming media server on Allegra.