Oups, the Makefile was a little bit wrong.