better timespec printing support and stat(1) example