> > It turns out that defaults.h contains > > #define PREFIX "/usr/local/" > > in stead of the prefix I gave with "configure --prefix=...". OK, this will be fixed in the CVS in around 10 minutes. David.