Lo and behold, now it works for me! Why it didn't do so before is beyond my imagination; maybe a different version of mencoder? Fills an important gap. Feature request: How about an option to split after a given size instead of a time?