[...] > > So you can now say --disable-ppl_lcdd and --disable-ppl_lpsol. > All the best, > Oh, thanks for the notice! I had actually discovered them already by doing a configure --help; I was pretty damn sure that you had fixed that one as well :-) Best, Michael