timespec printing bug