Hi, It looks like the make problem is not going to be fixed in the next release of make (and the current release only works because of a bug): https://savannah.gnu.org/bugs/?func=detailitem&item_id=15584 I'm afraid I haven't followed carefully enough to know what the problem is exactly, or how to fix it. Thanks Ian