BUG: usrlog.sh: difference in HISTTIMEFORMAT btwn Linux / OSX #16