lavf doesnot have support of compression at all, neither zlib nor lzo. A lot more code should be ported to lavf to add header stripping compression support. It's hard for me to do it from the beginning. Also mplayer still uses mkv demuxer for mkv files by default, there should be a reason.