I need to cut out a certain portion of a 12GB MPEG2 file. I need free software that can trim the video and supports loading of >4 GB files. It also needs to retain the original compression format, or at least output in something that's not humongous (35 GB with VirtualDub uncompressed?!).