Here is the fixed patch of the Makefile. ok to commit ? grace