A "make clean" combined with removing old stuff no longer referenced by the makefiles did the trick. Thanks! (I did just "make clean" previously, but that did not seem to resolve things by itself.) Morten