cast time_t to uint32 and print it with %u