ecaef6e7a4
The type of time_t varies between ports, so we need to cast before printing. It appears to be sufficient and safe to use (int).