Fix nightly failures by selecting only first version match (thanks @gsps)
Fix nightly failures by selecting only first version match (thanks @gsps)

epfl-lara/stainless,epfl-lara/stainless,epfl-lara/stainless,epfl-lara/stainless