Thank you for your hint. I tried the trick, but it does not work, neither for ffmpeg, nor for firefox.