Boilerplate: fix linking on linux
As I began working on go2pins, I find out that there was some problem on my machine using ./ltsmin/modelcheck
on tests.
Sometimes, it just appears that it segfault. After a quick review with Etienne, we find out that you just fixed it here.
Do you think you can merge your branch fix-link, or is there other things you have to see before merging it ?