Merge pull request #1 from CosyVerif/master

Merge last changes to Makefile