Bug #2586: fsck time formatting