> The second parameter to generate_prj.sh, the prefix, isn't used anywhere except > in an old statement that was commented out five years ago. I suggest removing > it. Minor cleanup indeed, but still nice to have. Thanks for the review, patch was added to the development version. Emmanuel