<br><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">DISTRO_VERSION    = &quot;a12&quot;<br></blockquote><div>Why you set this?<br>
 </div></div><br>