[project @ 1999-07-02 09:31:54 by simonmar]

Remove final fflush() - it seems to be incompatible with recent
releases of Linux's libc implementation, and we don't use stdio in any
case.