> Phew, what a mess... > > I've now added a test to the configure script that tests for this > header file, too. I hope it now works on all systems (so please test > again)! > > Thomas I'll try it this evening :)