Maybe I should mention that I can encode video streams with libx264, double-checked, and it seems I've called av_register_all() to register all codecs. Thanks for the suggestion though.