Hi Pierre,

This might not be correct, depending on which Make and the Makefile.
> Lowercase "prefix" is actually the right directory variable for GNU Make.
> See the "(make) Directory Variables" info page.
>

In that precise case, without an upper case PREFIX, it won't build (check
the root makefile).

Mathieu