Use time.Format in Go code generated