#include <sys/times.h> if we have it (should fix build problems)