fix sys/time.h for BSDish systems