Summary of changes:
55920a2... Avoid files listed twice (*)
0b439d6... Rework with/without options (*)
0909abc... Update changelog (*)
0221cb2... Update to 20190702 (*)
a74a946... Update snapshoot (*)
7952744... system-wide cipthers (*)
317cb34... Update changelog (*)
ed3fa99... Rebuilt (*)
21f94f1... Update snapshot (*)
c6bb283... Rebuild for new ffmpeg version (*)
066f97b... Update to post 3.0.8 (*)
(*) This commit already existed in another branch; no separate mail sent