calculating timestamp string in useful.lua: this will be useful for log files