dash cam to timelapse

My dash cam produces AVI video file every 5 minutes. I decided to create timelapse from the videos on linux using ffmpeg. Following the inspiration
I created following script

for f in *.AVI; do echo "file $f" >> files.txt; done 

[a file called "files.txt" is created] 

#create scaled timelapse 
ffmpeg -f concat -i files.txt -an -vcodec libx264 -filter:v 'setpts=0.05*PTS,scale=640:480' dashcam.mov