In any case I've raised an RFC in ffmpeg-devel@ mailinglist just in case: http://ffmpeg.org/pipermail/ffmpeg-devel/2013-December/152126.html (with a different overridable patch than I pasted here).