If this is the problem running in your head then the following one liner will be helpful to you.
$ echo "1234567890" | sed -e ':a' -e 's/\(.*[0-9]\)\([0-9]\{3\}\)/\1,\2/;ta' 1,234,567,890
$ echo "1234567890" | sed -e ':a' -e 's/\(.*[0-9]\)\([0-9]\{3\}\)/\1,\2/;ta' 1,234,567,890
$ ffmpeg -i myVideo.vob myvideo.avi
$ export LD_LIBRARY_PATH=/usr/local/lib/ && ffmpeg -i myVideo.vob myvideo.avi
$ sudo apt-get install libavcodec52 libavutil49