afe1f40
clean_ffmpeg.sh: Add some more manual_files needed by autorename_* Also update sources with the regenerated and reuploaded tarball.