I tried out gopchop, and although it works, there seem to be av-sync issues. Not that they're bad, but they're there. Wonder if ffmpeg could directly set a size when its encoding in the first place...didn't see such a option..