replacing innards of get-current-timestamp with local-times functions. more portable.