fixed bug in time.h (sorry for pushing uncompileable code)