time support: For portability, also include <time.h>