Copy the files off the disc and combine them with 'cat' in the terminal (or any file joining tool):
type cat followed by a space, drag all the .vob files into the terminal window, type > and a space, then type output.vob
Then use the output.vob file in your home folder to compress