Creamos ficheros con los vídeos a juntar:
fichero: concat.txt

file 'video1.mp4'
file 'video2.mp4'
file 'video3.mp4'

Juntamos los tres vídeos:

ffmpeg -f concat -i concat.txt -c copy video_final.mp4

avconv -i video_25fps.mp4 -vf setpts=1.0*PTS -r 30 video_fps30.mp4