[S] Change in osmo-trx[master]: contrib/jenkins: make configure args diff friendly