> > This breaks the build when the objects directory is different to the > > source directory. > > I'm very sorry about this. The attached patch will fix it. Indeed it does, so I've applied it. Thanks for the quick fix! Best wishes, Duncan.