> I'm not sure about what Makefile changes could be necessary for> various environments, it looks ok to me as it is.
Found one. EXTRA_CLEAN is needed for generated C files. Added to this v3.
-- Fabien.