Johan Tibell wrote:

Did you change mk/build.mk before running ./configure and make?

Ah! I did change this, but I forgot to (re-)configure. Thanks a lot. -- -- Johannes Waldmann -- Tel/Fax (0341) 3076 6479/80 -- ---- http://www.imn.htwk-leipzig.de/~waldmann/ -------