On Tue, Sep 25, 2007 at 03:07:18PM +0200, Christian Engwer wrote: > I fixed this issue, > > there was patch that was supposed to fix the out of source build of > dune-common, but it didn't go far enough. I reverted the patch, so > were are back at status quo. > Not really a solution, is it? Markus