you want me to delete the last version of what exactly? > On 15 Sep 2016, at 17:42, Luís Oliveira <> wrote: > > Oh, I see. Missed that bit of information, sorry. Can you delete the > bad version or tweak the define-foreign-library definition to point to > the right one?