<div dir="ltr"><div class="gmail_extra" style>Btw, think about the following not entirely impossible scenario:</div><div class="gmail_extra" style><br></div><div class="gmail_extra" style>Picture an legacy installation of ffmpeg with an<font face="arial, helvetica, sans-serif"> old version of <font color="#000000">gas-preprocessor installed in /usr/local/bin. We would now like to configure a new application embedded version of ffmpeg that requires a new but incompatible version of </font></font><span style="font-size:13px;color:rgb(0,0,0);font-family:arial,helvetica,sans-serif">gas-</span><span style="font-size:13px;color:rgb(0,0,0);font-family:arial,helvetica,sans-serif">preprocessor. What to do?</span></div>
<div class="gmail_extra" style><span style="font-size:13px;color:rgb(0,0,0);font-family:arial,helvetica,sans-serif"> </span></div></div>