I've just realised that there was a lurking gotcha in the naming of
[sgt/agedu] / alloc.h
2008-11-02 simonRename malloc.c to alloc.c, and my master Makefile...