Argl. It turned out this was some kind of spurious OS problem: a
sufficiently crafty sequences of cd's could make getcwd fail, and
that's just what that Makefile did. Sorry about the false alarm.
--
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla