Fixed missing time header for Linux