On 15 Sep 2016, at 17:42, Luís Oliveira <luismbo@gmail.com> 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?

Cheers,

-- 
Luís Oliveira
http://kerno.org/~luis/