gettimeofday should now work with linux Rev: src/configure.in:1.14 Rev: src/machine.h.in:1.10 Rev: src/port.h:1.3