Use ctime rather than asctime_r/localtime_r

It's shorter and yields the same result.  Also doesn't show
up as a possible portability concern to autoscan.