Other thing: The tarball of ffmpeg4 with related patches are still present in .../thirdparty/src/. They should be useless now and so can be removed (Andrew had requested this).