does Makefile rev. 1.58 help?
Yes, that takes care of the problem. Maybe the fix should be marked as temporary, as the problem was fixed upstream and the next release will hopefully be free of CRs again.
Thanks! -- Jörn Clausen joern.clausen%uni-bielefeld.de@localhost Hochschulrechenzentrum http://www.uni-bielefeld.de/hrz/ Universität Bielefeld