got ffmpegDecode working. You can now decode videos and re-encode them using x264.