Progress report: I found out that I had not installed the xdevel-package (please don't laugh). After installing that, everything went smoothly. Carsten Kuckuk, RIB Bausoftware GmbH